(assert (forall ((q86 Int) (q87 Int) (q88 Int) (q89 Int) (q90 Int) (q91 Int) (q92 Bool)) false))
(assert (forall ((q125 Int) (q126 Int) (q127 Int) (q128 Bool)) false))
(assert (forall ((q213 Int) (q214 Int) (q215 Int) (q216 Int) (q217 Int) (q218 Int) (q219 Int) (q220 Int) (q221 Int) (q222 Bool)) q222))
(assert (forall ((q268 Int) (q269 Int) (q270 Int) (q271 Int) (q272 Int) (q273 Int) (q274 Int) (q275 Int) (q276 Int) (q277 Bool)) false))
(assert (forall ((q349 Int) (q350 Int) (q351 Int) (q352 Int) (q353 Int) (q354 Int) (q355 Int) (q356 Bool)) false))
(check-sat)
